perm filename POLAK.TEX[TEX,DEK] blob sn#372434 filedate 1978-08-06 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input manhdr
C00003 ENDMK
C⊗;
\input manhdr
\tenpoint
\titlepage
Wolf... I think TEX now knows those eight symbols you
wanted for Scott-Strachey semantics.

\yyskip
If you type ``{\≡$$\bot \sqsub \dleft x←y \dright \sqsub \top$$≡\}'' you get
$$\bot \sqsub \dleft x←y \dright \sqsub \top$$
and if you type ``{\≡$$\squnion≡↓{n=0}↑≡∞(f≡↓n \glb (g≡↓n \lub h≡↓n))$$≡\}''
you get $$\squnion↓{n=0}↑∞(f↓n \glb (g↓n \lub h↓n))$$
and if you type ``{\≡$\squnion≡↓{n=0}↑≡∞(f≡↓n \glb (g≡↓n \lub h≡↓n))$≡\}''
you get $\squnion↓{n=0}↑∞(f↓n \glb (g↓n \lub h↓n))$.

\yyskip
(I hope I haven't broken TEX in the meantime.) -- Don Knuth

\vfill\end